Functional Programming

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

Engineering Large Parallel Functional Programs

Functional Programming / Shared memory / Scaling up / Programming Model / Large Scale / Design and Implementation / Programming language / Divide and Conquer / Design and Implementation / Programming language / Divide and Conquer

Engineering large parallel functional programs

Functional Programming / Shared memory / Scaling up / Programming Model / Large Scale / Design and Implementation / Programming language / Divide and Conquer / Design and Implementation / Programming language / Divide and Conquer

The LOGRES prototype

Algebra / Functional Programming / Polymorphism / Optimization / Object Oriented Model / Data Model / Type System / Signature / Side Effect / Database System / Object Oriented Database / Data Model / Type System / Signature / Side Effect / Database System / Object Oriented Database

Using a template-based parallel programming environment to eliminate errors

Software Engineering / Functional Programming / Programming Model

Engineering large parallel functional programs

Functional Programming / Shared memory / Scaling up / Programming Model / Large Scale / Design and Implementation / Programming language / Divide and Conquer / Design and Implementation / Programming language / Divide and Conquer

Declarative Program Transformation: A Deforestation Case-Study

Software Engineering / Functional Programming / Program Transformation / Generic Programming / Case Study / Declarative Programming / Timing Optimization / PARTIAL EVALUATION / Declarative Programming / Timing Optimization / PARTIAL EVALUATION

Declarative Program Transformation: A Deforestation Case-Study

Software Engineering / Functional Programming / Program Transformation / Generic Programming / Case Study / Declarative Programming / Timing Optimization / PARTIAL EVALUATION / Declarative Programming / Timing Optimization / PARTIAL EVALUATION

Traced Premonoidal Categories

Functional Programming / Numerical Analysis and Computational Mathematics

Fractal image compression

Applied Mathematics / Functional Programming / Pure Mathematics / Computer Software / Numerical Analysis and Computational Mathematics

On deriving data parallel code from a functional program

Functional Programming / Static Analysis / Code Generation / Performance Improvement / Abstract Syntax Tree

On deriving data parallel code from a functional program

Functional Programming / Static Analysis / Code Generation / Performance Improvement / Abstract Syntax Tree

Functorial ML

Applied Mathematics / Functional Programming / Computer Software / Numerical Analysis and Computational Mathematics / Type Inference

On deriving data parallel code from a functional program

Computer Science / Functional Programming / Static Analysis / Parallel Programming / Linear Programming / Scheduling / Formal Specification / Code Generation / Performance Improvement / Functional Languages / Information Analysis / Alpha / Abstract Syntax Tree / Scheduling / Formal Specification / Code Generation / Performance Improvement / Functional Languages / Information Analysis / Alpha / Abstract Syntax Tree

A dual-mode programmable distributed amplifier/mixer

Functional Programming / Topology / Mixing / RF / Radio Frequency / Chip / Microwaves / Gain / Bandwidth / Switches / Distributed Amplifiers / Chip / Microwaves / Gain / Bandwidth / Switches / Distributed Amplifiers

Copyright © 2017 DATOSPDF Inc.